Propositions as sets